🔓 Lock-Free Structures - emschwartz · Scour

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·18h

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

🧵Concurrency

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·12h·

Discuss: Hacker News

💻Programming languages

Evaluating the Indistinguishability of Logic Locking using K-Cut Enumeration and Boolean Matching

arxiv.org·5d

🧵Concurrency

The 185-Microsecond Type Hint

blog.sturdystatistics.com·13h·

Discuss: Lobsters, Hacker News, r/programming

Deterministic vs. idempotent

unsung.aresluna.org·16m

🌊Async Patterns

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮SMT Solvers

I built a persistent memory layer for AI agents in Rust

news.ycombinator.com·15h·

Discuss: Hacker News

High-Performance GPU Memory Transfer on AWS Sagemaker Hyperpod

research.perplexity.ai·13h

🔗High-Speed Networking

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

🏹Apache Arrow

Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics

arxiv.org·1d

💻Programming languages

tokio.rs·18h

Optimal Real-Time Locking, Clang's experimental bounds safety extension

luma.com·5d

Why does @field work for declarations?

ziggit.dev·16h

🔒Borrow Checker

A Number with a Shadow

campedersen.com·1d

No Code by Hand

ashwch.com·14h·

Discuss: Hacker News

💻Coding Agents

WarpSpeed automatically rewrites Nvidia core library, achieves 3.6-100x speedup

doubleai.com·18h·

Discuss: Hacker News

📊Model Serving Economics

Making Verifpal Easier to Reason About

symbolic.software·2d

🔍Binary Analysis

Disaggregated Prefill and Decode

research.perplexity.ai·13h

💾Prompt Caching

2026.02 - Release Notes

hamy.xyz·2d

🛠️Build Optimization

Loading more...